#!/bin/bash
gawk '
BEGIN      { n = 0; }
($0 != "") { if (n++ > 0) printf(" "); printf($1); }
($0 == "") { printf("\n"); n = 0; }
END        { printf("\n"); }
' $1 > $2
